Nancy, France - PDFSEARCH.IO - Document Search Engine

Nancy, France
Results: 204

#	Item
61	Verification of Security Protocols V´eronique Cortier LORIA, CNRS, Nancy, France⋆ 1 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-01-05 07:51:01
62	Combinations of theories for decidable fragments of first-order logic? Pascal Fontaine Universit´e de Nancy, Loria Nancy, France Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2009-07-01 12:27:09
63	Attacking and fixing Helios: An analysis of ballot secrecy∗ V´eronique Cortier and Ben Smyth Loria, CNRS & INRIA Nancy Grand Est, France June 1, 2011 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-08-02 11:02:31
64	Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France Add to Reading List Source URL: bensmyth.com Language: English - Date: 2013-09-25 07:23:58
65	Towards certification of TLA+ proof obligations with SMT solvers Stephan Merz and Hern´an Vanzetto∗ INRIA Nancy Grand-Est & LORIA Nancy, France Abstract Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25
66	Combinations of theories and the Bernays-Sch¨ onfinkel-Ramsey class Pascal Fontaine LORIA, Nancy University, France Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2007-07-30 05:54:40
67	Building, Combining, and Integrating Decision ProceduresSilvio Ranise http://www.loria.fr/~ranise LORIA & INRIA-Lorraine (Nancy, France) Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-09-07 07:51:31
68	Modeling and Verifying Ad Hoc Routing Protocols † Mathilde Arnaud∗† , V´eronique Cortier∗ and St´ephanie Delaune† ∗ LORIA, CNRS & INRIA Nancy Grand Est, France Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-08-02 11:02:30
69	Deciding knowledge in security protocols for monoidal equational theories ⋆ V´eronique Cortier and St´ephanie Delaune LORIA, CNRS & INRIA project Cassis, Nancy, France Abstract. In formal approaches, messages sent o Add to Reading List Source URL: www.loria.fr Language: English - Date: 2007-06-27 05:43:57
70	Combinations of theories for decidable fragments of first-order logic? Pascal Fontaine Universit´e de Nancy, Loria Nancy, France Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2009-07-01 12:27:09